home *** CD-ROM | disk | FTP | other *** search
- package com.extensibility.app;
-
- import java.awt.Component;
- import java.awt.Dimension;
- import java.awt.Graphics;
- import javax.swing.JComponent;
-
- public class BaseToolBar$DivLine extends JComponent {
- // $FF: synthetic field
- final BaseToolBar this$0;
- Dimension maxSz;
-
- BaseToolBar$DivLine(BaseToolBar var1) {
- this.this$0 = var1;
- this.maxSz = new Dimension(24, 100);
- ((JComponent)this).setPreferredSize(new Dimension(24, 0));
- ((JComponent)this).setMaximumSize(this.maxSz);
- }
-
- public void setSize(int var1, int var2) {
- super.setSize(2, var2);
- }
-
- public void setSize(Dimension var1) {
- var1.width = 2;
- super.setSize(var1);
- }
-
- public void paintComponent(Graphics var1) {
- var1.setColor(((Component)this).getBackground().darker());
- var1.drawLine(12, 1, 12, ((JComponent)this).getHeight());
- var1.setColor(((Component)this).getBackground().brighter());
- var1.drawLine(13, 1, 13, ((JComponent)this).getHeight());
- }
- }
-